perm filename CIRCUM[S85,JMC]1 blob sn#789551 filedate 1985-04-18 generic text, type C, neo UTF8
COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	circum[s85,jmc]		More ideas, see circum.tex[f83,jmc]
C00003 ENDMK
C⊗;
circum[s85,jmc]		More ideas, see circum.tex[f83,jmc]

material x ∧ present(x,s) ⊃ ab aspect1(x,s)
on(x,Table,s) ⊃ present(x,s)